The hard part of type-checking Nix (外部記事)
https://www.haskellforall.com/2022/03/the-hard-part-of-type-checking-nix.html?m=1
型付けされたNix
Typed Nix
についての考察
#外部記事
Gabriella Gonzalez